[$S$? ${\it codes}_{1}$ : ${\it codes}_{2}$]($j$,$i$,$e$,${\it st}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $p$:$S$($j$,$i$,$e$) then ${\it codes}_{1}$($j$,$i$,$e$,${\it st}$) else ${\it codes}_{2}$($j$,$i$,$e$,${\it st}$) fi